Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
91	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
92	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
93	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
94	Microsoft PowerPoint - DSCpetcu Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2007-07-09 07:38:37 Parallel computing Algorithm Distributed computing Symbolic computation Computational geometry Computational resource Actor model Memory bound function Outline of computer science Theoretical computer science Applied mathematics Mathematics
95	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
96	DuraFly_3.72_TemplateRevised Add to Reading List Source URL: www.ahrma.org Language: English - Date: 2014-12-28 02:39:52 Euler Maxima Emergency medical services in the United States Array programming languages Computer algebra Sage Symbolic computation MATLAB Matrix Software Mathematical software Science
97	Euler Math Toolbox - Introduction Add to Reading List Source URL: euler.rene-grothmann.de Language: English - Date: 2015-01-13 09:31:22 Euler Maxima Emergency medical services in the United States Array programming languages Computer algebra Sage Symbolic computation MATLAB Matrix Software Mathematical software Science
98	Microsoft Word - Towards a Modular Modelica Compiler Backendv7 petfr update.doc Add to Reading List Source URL: modelica.org Language: English - Date: 2011-04-27 10:25:48 Object-oriented programming Simulation software Numerical software Equations Modelica Cross-platform software Differential algebraic equation Symbolic computation Solver Software Application software Mathematics
99	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
100	LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 83–110, 1994 c 1994 Kluwer Academic Publishers – Manufactured in The Netherlands Subcontinuations∗ ROBERT HIEB† Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:11:46 Control flow Continuations Lisp programming language Subroutines Functional programming Continuation Call-with-current-continuation Delimited continuation Lambda calculus Software engineering Computing Computer programming

UPDATE